41. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings
پدیدآورنده: Yukiyoshi Kameyama, Peter J. Stuckey )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2998
42. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
2001
43. Functional programming, Glasgow 1992
پدیدآورنده: John Launchbury and Patrick Sansom, eds.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Functional programming )Computer science( -- Congresses
رده :
QA
76
.
62
.
G58
1992
44. Functional programming, concurrency, simulation and automated reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده: Peter E. Lauer, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Functional programming )Computer science(,Congresses ، Parallel programming )Computer science(,Congresses ، Automatic theorem proving,Congresses ، Computer simulation
رده :
QA
76
.
L28
Vol
.
693
45. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
46. Implementation and application of functional language
پدیدآورنده: / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
47. The beauty of functional code :
پدیدآورنده: Peter Achten, Pieter Koopman (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science), Congresses
رده :
QA76
.
62
48. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998
پدیدآورنده: editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
62
.
F84
1998
49. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998
پدیدآورنده: editors, Masahiko Sato, Yoshihito Toyama
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Functional programming )Computer science( - Congresses , Logic programming - Congresses
رده :
QA
76
.
62
.
F84
1998
50. Trends in Functional Programming
پدیدآورنده: \ Jurriaan Hage , Jay McCarthy (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها
رده :
QA
76
.
62
.
T7
2015
E-Book
,
51. Trends in Functional Programming
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Functional programming (Computer science) -- Congresses,Functional programming (Computer science) ,برنامه‌نویسی تابعی (کامپیوتر) -- کنگره‌ها,برنامه‌نویسی تابعی (کامپیوتر)
رده :
E-Book
,
52. Trends in functional programming :
پدیدآورنده: Michał Pałka, Magnus Myreen (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)
رده :
QA76
.
62
.
I58
2018
53. Trends in functional programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
54. Trends in functional programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
55. Trends in functional programming :
پدیدآورنده: David Van Horn, John Hughes (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.
رده :
QA76
.
62
56. Trends in functional programming :
پدیدآورنده: edited by Meng Wang, Scott Owens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
57. Trends in functional programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
58. Trends in functional programming :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Functional programming (Computer science) ; Congresses. ;
59. Trends in functional programming.
پدیدآورنده: edited by Henrik Nilsson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science), Congresses.
رده :
QA76
.
62
T74
2007eb
60. Trends in functional programming.
پدیدآورنده: edited by Hans-Wolfgang Loidl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Functional programming (Computer science), Congresses.
رده :
QA76
.
62
.
T746
2007eb
